Memory and Time Consumption of Java Bytecode Programs
نویسنده
چکیده
Interpretation has been proposed by P. Cousot and R. Cousot in [6]. The main idea is to “execute” the program on abstract values instead of concrete ones. 1.1 Theoretical basis 1.1.1 Semantic of programs The purpose of abstract interpretation is to approximate the semantics of a program, we therefore need to defined semantics. In abstract interpretation, the semantics considered are fixpoint-based semantics, modeled in a partially ordered sets. The partial order permit to compare the precisions of different semantics. In this setting, a monotonic semantic operator FP is associated to each program P . FP is defined on a semantic domain describing the
منابع مشابه
Increasing Java Performance in Memory-Constrained Environments Using Explicit Memory Deallocation
As more and more powerful Java implementations begin to arrive to mobile devices, memory footprint problems are again encountered. These problems were recognized earlier in desktopand server computer environments but these computers have significant amount of memory and more memory can be added in a relatively inexpensive way. Due to several reasons e.g. size, cost, power consumption the averag...
متن کاملJava bytecode Verification using Analysis and Transformation of Logic Programs
State of the art analyzers in the (Constraint) Logic Programming paradigm (or (C)LP for short) are nowadays mature and sophisticated. They allow inferring a wide variety of global properties including termination, run-time error freeness, bounds on resource consumption, etc. The aim of this work is to automatically transfer the power of such analysis tools for LP to the analysis and verificatio...
متن کاملCustomizable Resource Usage Analysis for Java Bytecode
Automatic cost analysis of programs has been traditionally studied in terms of a number of concrete, predefined resources such as execution steps, time, or memory. However, the increasing relevance of analysis applications such as static debugging and/or certification of user-level properties (including for mobile code) makes it interesting to develop analyses for resource notions that are actu...
متن کاملCOSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode
This paper describes the architecture of costa, an abstract interpretation based cost and termination analyzer for Java bytecode. The system receives as input a bytecode program, (a choice of) a resource of interest and tries to obtain an upper bound of the resource consumption of the program. costa provides several non-trivial notions of cost, as the consumption of the heap, the number of byte...
متن کاملProfBuilder: A Package for Rapidly Building Java Execution Profilers
ProfBuilder is a collection of Java classes that provide an easy method for constructing Java execution profiling tools. By instrumenting Java bytecode, a programmer can measure dynamic properties of an application, such as bytecode count, number of memory allocations, cache misses and branches. ProfBuilder provides an easy way to create customized tools to measure these and other properties by...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006